Operating system auditing and monitoring

Ph.DDOCTOR OF PHILOSOPH

Sweeping cluster algorithm for quantum spin systems with strong geometric restrictions

Quantum spin systems with strong geometric restrictions give rise to rich quantum phases such as valence bond solids and spin liquid states. However, the geometric restrictions often hamper the application of sophisticated numerical approaches. Based on the stochastic series expansion method, we develop an efficient and exact quantum Monte Carlo "sweeping cluster" algorithm which automatically satisfies the geometrical restrictions. Here we use the quantum dimer model as a benchmark to demonstrate the reliability and power of this algorithm. Comparing to existing numerical methods, we can obtain higher accuracy results for a wider parameter region and much more substantial system sizes

Fiscal Decentralization, Equalization, and Intra-Provincial Inequality in China

Using a nationwide county-level panel dataset for the years 1995-2009, this paper conducts the first analysis in the literature to examine the impacts of fiscal decentralization and fiscal equalization, both measured at the sub-provincial level, on intra-provincial inequality in China. While fiscal decentralization offers significant advantages regarding public expenditure efficiency, a potentially large disadvantage is that it may lead to increased regional inequality. In this paper, in line with our theoretical hypotheses, we find that while fiscal decentralization at the sub-provincial level in China leads to larger intra-provincial inequality, fiscal equalization efforts performed by provincial governments tend to mitigate the detrimental effect of fiscal decentralization on intraprovincial inequality. Our results also indicate that the quantitative effects of fiscal decentralization on regional inequality tend to be larger when they are measured from the expenditure side, which is consistent with the fact that expenditure decentralization is a much more meaningful measure of decentralization in China. Overall, we provide evidence on the potential inequality costs of using fiscal decentralization as a development strategy. At the same time, we emphasize the importance of implementing a fiscal equalization program to ensure the overall success of decentralization policy

Effective p-wave Fermi-Fermi Interaction Induced by Bosonic Superfluids

We study the two-dimensional Bose-Fermi mixture on square lattice at finite temperature by using the determinant quantum Monte Carlo method within the weakly interacting regime. Here we consider the attractive Bose-Hubbard model and free spinless fermions. In the absence of bosonfermion interactions, we obtain the boundary of the collapsed state of the attractive bosons. In the presence of boson-fermion interactions, an effective p-wave interaction between fermions will be induced as far as the bosons are in a superfluid state. Moreover, we find the emergence of the composite fermion pairs at low temperatures

Towards model checking Android applications

As feature-rich Android applications (apps for short) are increasingly popularized in security-sensitive scenarios, methods to verify their security properties are highly desirable. Existing approaches on verifying Android apps often have limited effectiveness. For instance, static analysis often suffers from a high false-positive rate, whereas approaches based on dynamic testing are limited in coverage. In this work, we propose an alternative approach, which is to apply the software model checking technique to verify Android apps. We have built a general framework named DroidPF upon Java PathFinder (JPF), towards model checking Android apps. In the framework, we craft an executable mock-up Android OS which enables JPF to dynamically explore the concrete state spaces of the tested apps; we construct programs to generate user interaction and environmental input so as to drive the dynamic execution of the apps; and we introduce Android specific reduction techniques to help alleviate the state space explosion. DroidPF focuses on common security vulnerabilities in Android apps including sensitive data leakage involving a non-trivial flow- and context-sensitive taint-style analysis. DroidPF has been evaluated with 131 apps, which include real-world apps, third-party libraries, malware samples and benchmarks for evaluating app analysis techniques like ours. DroidPF precisely identifies nearly all of the previously known security issues and nine previously unreported vulnerabilities/bugs.NRF (Natl Research Foundation, S’pore

Infection‐driven activation of transglutaminase 2 boosts glucose uptake and hexosamine biosynthesis in epithelial cells

DATA AVAILABILITYThe mass spectrometry proteomics data have been deposited to the ProteomeXchange Consortium via the PRIDE partner repository with the dataset identifier PXD017117.International audienceTransglutaminase 2 (TG2) is a ubiquitously expressed enzyme with transamidating activity. We report here that both expression and activity of TG2 are enhanced in mammalian epithelial cells infected with the obligate intracellular bacteria Chlamydia trachomatis. Genetic or pharmacological inhibition of TG2 impairs bacterial development. We show that TG2 increases glucose import by up-regulating the transcription of the glucose transporter genes GLUT-1 and GLUT-3. Furthermore, TG2 activation drives one specific glucose-dependent pathway in the host, i.e., hexosamine biosynthesis. Mechanistically, we identify the glucosamine:fructose-6-phosphate amidotransferase (GFPT) among the substrates of TG2. GFPT modification by TG2 increases its enzymatic activity, resulting in higher levels of UDP-N-acetylglucosamine biosynthesis and protein O-GlcNAcylation. The correlation between TG2 transamidating activity and O-GlcNAcylation is disrupted in infected cells because host hexosamine biosynthesis is being exploited by the bacteria, in particular to assist their division. In conclusion, our work establishes TG2 as a key player in controlling glucose-derived metabolic pathways in mammalian cells, themselves hijacked by C. trachomatis to sustain their own metabolic needs

Erk1 Positively Regulates Osteoclast Differentiation and Bone Resorptive Activity

The extracellular signal-regulated kinases (ERK1 and 2) are widely-expressed and they modulate proliferation, survival, differentiation, and protein synthesis in multiple cell lineages. Altered ERK1/2 signaling is found in several genetic diseases with skeletal phenotypes, including Noonan syndrome, Neurofibromatosis type 1, and Cardio-facio-cutaneous syndrome, suggesting that MEK-ERK signals regulate human skeletal development. Here, we examine the consequence of Erk1 and Erk2 disruption in multiple functions of osteoclasts, specialized macrophage/monocyte lineage-derived cells that resorb bone. We demonstrate that Erk1 positively regulates osteoclast development and bone resorptive activity, as genetic disruption of Erk1 reduced osteoclast progenitor cell numbers, compromised pit formation, and diminished M-CSF-mediated adhesion and migration. Moreover, WT mice reconstituted long-term with Erk1−/− bone marrow mononuclear cells (BMMNCs) demonstrated increased bone mineral density as compared to recipients transplanted with WT and Erk2−/− BMMNCs, implicating marrow autonomous, Erk1-dependent osteoclast function. These data demonstrate Erk1 plays an important role in osteoclast functions while providing rationale for the development of Erk1-specific inhibitors for experimental investigation and/or therapeutic modulation of aberrant osteoclast function

Interfacial “Single‐Atom‐in‐Defects” Catalysts Accelerating Li + Desolvation Kinetics for Long‐Lifespan Lithium‐Metal Batteries

The lithium-metal anode is a promising candidate for realizing high-energy-density batteries owing to its high capacity and low potential. However, several rate-limiting kinetic obstacles, such as the desolvation of Li+ solvation structure to liberate Li$^+$, Li$^0$ nucleation, and atom diffusion, cause heterogeneous spatial Li-ion distribution and fractal plating morphology with dendrite formation, leading to low Coulombic efficiency and depressive electrochemical stability. Herein, differing from pore sieving effect or electrolyte engineering, atomic iron anchors to cation vacancy-rich Co$_{1−xS}$ embedded in 3D porous carbon (SAFe/CVRCS@3DPC) is proposed and demonstrated as catalytic kinetic promoters. Numerous free Li ions are electrocatalytically dissociated from the Li$^+$ solvation complex structure for uniform lateral diffusion by reducing desolvation and diffusion barriers via SAFe/CVRCS@3DPC, realizing smooth dendrite-free Li morphologies, as comprehensively understood by combined in situ/ex situ characterizations. Encouraged by SAFe/CVRCS@3DPC catalytic promotor, the modified Li-metal anodes achieve smooth plating with a long lifespan (1600 h) and high Coulombic efficiency without any dendrite formation. Paired with the LiFePO$_4$ cathode, the full cell (10.7 mg cm$^{−2}$) stabilizes a capacity retention of 90.3% after 300 cycles at 0.5 C, signifying the feasibility of using interfacial catalysts for modulating Li behaviors toward practical applications